$\forall$$a$, $b$:$\mathbb{Q}$. (({-}($a$)) $\ast$ $b$) = {-}($a$ $\ast$ $b$) $\in$ $\mathbb{Q}$ \& ($a$ $\ast$ {-}($b$)) = {-}($a$ $\ast$ $b$) $\in$ $\mathbb{Q}$